Case analysis through Scott encodings of algebraic data types in an object oriented programming language.